#ifndef _resolve_h_INCLUDED
#define _resolve_h_INCLUDED

bool
kissat_mab_generate_resolvents(struct kissat*, unsigned idx, unsigned* lit_ptr);

#endif
